“infimal convolution”